Comparing Timed C / E Systems with TimedAutomata ?
نویسندگان
چکیده
We investigate the relationship between timed c/e systems 4] and timed automata 2]. We provide an eeective function that associates to each timed c/e system an \equivalent" timed automaton. Equivalence has to be understood here as describing essentially the same real{time behaviors. A beneet from providing such a function is that analysis tools developed for timed automata can now be applied to analyze timed c/e systems. We also prove that timed automata can be translated into equivalent timed c/e systems.
منابع مشابه
Comparing Timed C/E Systems with Timed Automata (Abstract)
Condition/Event systems 14] represent a continuous{time modeling framework used in control theory within the eld of discrete event dynamic systems. This model has been extended in 7] to include real{time aspects. Timed automata 2] are a widely accepted model for real{time systems. They have been intensively studied from diierent points of view leading to a variety of tools that analyze real{tim...
متن کاملTowards a Unified Theory of Timed Automata
Title of dissertation: TOWARDS A UNIFIED THEORY OF TIMED AUTOMATA Peter Christopher Fontana, Doctor of Philosophy, 2014 Dissertation directed by: Professor Rance Cleaveland Department of Computer Science Timed automata are finite-state machines augmented with special clock variables that reflect the advancement of time. Able to both capture real-time behavior and be verified algorithmically (mo...
متن کاملRelations of Timed Event Graphs and Timed Automata in Fault Diagnosis
This paper investigates the relations between timed event graphs and timed automata that describe discrete–event systems subject to faults. An algorithm is presented for transforming a timed event graph into an equivalent timed automaton. The relations among the models of the faulty systems provides the basis for comparing diagnostic methods that have been developed in the past for these two ti...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملModeling and verification of real-time embedded systems with urgency
Real-time embedded systems are often designed with different types of urgencies such as delayable or eager, that are modeled by several urgency variants of the timed automata model. However, most model checkers do not support such urgency semantics, except for the IF toolset that model checks timed automata with urgency against observers. This work proposes an Urgent Timed Automata (UTA) model ...
متن کامل